منابع مشابه
Hierarchical Propositions
The notion of a proposition plays a central role in the philosophy of mind (through the notion of a propositional attitude) and the philosophy of language (through the theory of speech acts). However, as we have known for a long time, it is subject to paradoxes. A natural response is to stratify propositions into some sort of hierarchy; and, ever since Russell proposed his ‘ramified theory of t...
متن کاملOn Judgements and Propositions
Dear Hans-Jörg! In the seventies and early eighties we have been colleagues in the ‘Automatentheorie und Formale Sprachen’ group at TU Berlin and shared many interests. Later we departed into different fields of research and followed different directions of thought. It is thirty years now that we have completed our PhD at TU Berlin, and this year is your sixtieth birthday. Since the times at AT...
متن کاملOn Russellian Propositions
This paper discusses some structural conditions under which Russellian propositions in the sense of J. Barwise and J. Etchemendy [2] are paradoxical, and the computational complexity of the problems whether or not Russellian proposition is paradoxical, intrinsically paradoxical, and classical.
متن کاملObject Propositions
The presence of aliasing makes modular veri cation of objectoriented code di cult. If multiple clients depend on the properties of an object, one client may break a property that others depend on. We have developed a modular veri cation approach based on the novel abstraction of object propositions, which combine predicates and information about object aliasing. In our methodology, even if shar...
متن کاملPROPOSITIONS on the ROBUSTNESS of MULTISTEPFORMULAEChristopher
Classical analysis of linear multistep formulae (LMFs) for initial-value problems in ordinary diierential equations (ODEs) has concentrated on problems satisfying uniform Lipschitz or one-sided Lipschitz conditions, and corresponding stability models. We here contribute insight into the robustness of such formulae for equations with a stronger nonlinearity and of related formulae for functional...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2019
ISSN: 0022-3611,1573-0433
DOI: 10.1007/s10992-019-09509-9